Moments and points in an interval-based temporal logic
نویسندگان
چکیده
منابع مشابه
Moments and Points in an Interval-Based Temporal Logic
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for people in their everyday coping with the world. What this suggests is that there is some form of common sense knowledge about time that is rich enough to enable people to deal with the world, and that is universal enough...
متن کاملAn Interval-based Temporal Logic in a Multivalued Setting
We describe the embedding of the semantic notions and modal operators of a fir st-order temporal logic based on time intervals in a multivalued setting. Truth values will be realized as functions from time intervals to "ordinary" truth values like t and f . The main emphasis lies on the realization of the various modal operators contained in the temporal logic as operations on the functional tr...
متن کاملConstraint Deduction in an Interval-based Temporal Logic
In this paper, reasoning methods for the interval-based modal temporal logic LLP which employs the modal operators sometimes, always, next, and chop are described. A constraint deduction approach is proposed and compared with a sequent calculus which has been developed as the basic machinery for the deductive planning system PHI which uses LLP as underlying formalism.
متن کاملPrompt Interval Temporal Logic
Interval temporal logics are expressive formalisms for temporal representation and reasoning, which use time intervals as primitive temporal entities. They have been extensively studied for the past two decades and successfully applied in AI and computer science. Unfortunately, they lack the ability of expressing promptness conditions, as it happens with the commonly-used temporal logics, e.g.,...
متن کاملActions and Events in Interval Temporal Logic
We present a representation of events and action based on interval temporal logic that is significantly more expressive and more natural than most previous AI approaches. The representation is motivated by work in natural language semantics and discourse, temporal logic, and AI planning and plan recognition. The formal basis of the representation is presented in detail, from the axiomatization ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computational Intelligence
سال: 1989
ISSN: 0824-7935,1467-8640
DOI: 10.1111/j.1467-8640.1989.tb00329.x